Avoid race in schedule() when switching schedulers
authorJuergen Gross <juergen.gross@ts.fujitsu.com>
Sat, 17 Sep 2011 15:19:26 +0000 (16:19 +0100)
committerJuergen Gross <juergen.gross@ts.fujitsu.com>
Sat, 17 Sep 2011 15:19:26 +0000 (16:19 +0100)
commit4dd27c01c31c55319758b47dccdba46ddd5f499e
tree4f71b6aa341d15c33405f7121215a0a7a98d1572
parent2c36185d4407f6932ecf3e8d5244049c816a8f91
Avoid race in schedule() when switching schedulers

Selecting the scheduler to call must be done under lock. Otherwise a
race might occur when switching schedulers in a cpupool

Signed-off-by: Juergen Gross <juergen.gross@ts.fujitsu.com>
Acked-by: George Dunlap <george.dunlap@eu.citrix.com>
xen/common/schedule.c